退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于可编程逻辑控制器的固件验证工具
McMinn, Lucille; Butts, Jonathan;
机译:对可编程逻辑控制器的固件修改攻击
机译:建模可编程逻辑控制器以进行逻辑验证
机译:用于威胁评估和法医调查的可编程逻辑控制器固件分析
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:促进向以人口为基础的公共卫生计划的转变:通过使用框架和逻辑模型工具进行创新
机译:可编程逻辑控制器中的固件修改分析。
机译:远程证明以验证可编程逻辑控制器固件的系统和方法
机译:在故障安全可编程逻辑控制器中验证应用程序的方法以及用于执行该方法的可编程逻辑控制器
机译:验证故障安全可编程逻辑控制器中的应用程序的方法以及用于执行该方法的可编程逻辑控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。